201. Automated deduction in geometry
پدیدآورنده: / Francisco Botana, Tomas Recio (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Geometry--Data processing--Congresses,Automatic theorem proving--Congresses,Logic, Symbolic and mathematical--Congresses
رده :
QA
,
448
,.
D38
,
I577
,
2006
202. Automated deduction in geometry :
پدیدآورنده: Tetsuo Ida, Jacques Fleuriot (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Automatic theorem proving, Congresses,Geometry-- Data processing, Congresses
رده :
QA448
.
D38
I58
2012
203. Automated deduction in geometry
پدیدآورنده: / Hoon Hong, Dongming Wang (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Geometry--Data processing--Congresses,Automatic theorem proving--Congresses,Logic, Symbolic and mathematical--Congresses
رده :
QA
,
448
,.
D38
,
I577
,
2004
204. Automatic differentiation
پدیدآورنده: / Martin Beucker ... [et al.]
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Differential calculus--Data processing--Congresses,Differential-difference equations--Data processing--Congresses
رده :
QA
,
304
,.
I58
,
2006
207. BL
پدیدآورنده : by George Cumming, Brad Spitz, and Ruth Janal.
موضوع :
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
208. BL
پدیدآورنده: presented by the Committee on Continuing Legal Education of the Virginia Law Foundation.
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع:
211. BL
پدیدآورنده : edited by Thomas J. Biersteker and Sue E. Eckert.
موضوع :
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
213. BL,297p. cm. 0
پدیدآورنده: Carl F. Goodman. ,Rex Li.
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع:
214. Based on the author's thesis (Inaugural-Dissertation)--University of H
پدیدآورنده: Jörn Weingärtner.
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع:
215. Basic Circuit theory, with digital compulations
پدیدآورنده: / Lawrence p. Huelsman,Huelsman
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع: Electric circuits,Electronic Data processing --Earth sciences -- Congresses,Electric engineering -- Mathematics
رده :
TK
454
.
H84
216. Belief Functions
پدیدآورنده: \ Jiřina Vejnarová, Václav Kratochvíl (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Decision making -- Data processing -- Congresses.,Decision making -- Mathematical models -- Congresses.,تصمیمگیری -- دادهپردازی -- کنگره ها,تصمیمگیری -- الگوهای ریاضی -- کنگره ها
رده :
E-Book
,
217. Bioinformatics
پدیدآورنده: by Robert Pool and Joan Esnayra.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Biotechnology industries, Congresses.,Electronic data processing, Congresses.,Medical informatics, Congresses.
218. Bioinformatics
پدیدآورنده: by Robert Pool and Joan Esnayra.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Biotechnology industries, Congresses.,Electronic data processing, Congresses.,Medical informatics, Congresses.
219. Bioinformatics research and application
پدیدآورنده: / Mark Borodovsky ... [et al.] (eds.
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Bioinformatics, Congresses,Molecular biology, Data processing, Congresses,Electronic books., local
رده :
QH324
.
2
.
I83
2010
220. Bioinformatics research and development
پدیدآورنده: / Sepp Hochreiter, Roland Wagner (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Bioinformatics--Congresses,Bioinformatics--Research--Congresses,Biological systems--Data processing--Congresses,Computational biology--Congresses,Proteomics--Congresses
رده :
QH
,
324
.
2
,.
B572
,
2007